理由 based の論理 (RBL)
reason-based logic
Jaap Hage (J.C.), Reasoning with Rules, An Essay on Legal Reasoning and Its Underlying Logic, 1997
法的含意は項を構成し文を構成しない、故に眞理値を持たない
理由
決定的理由 (decisive reasons)$ Dr(^*s,^*a)項$ ^*sは項$ ^*aの決定的理由である
寄與的理由 (contributive reasons)$ Cr(^*s,^*a)項$ ^*sは項$ ^*aの寄與的理由である
寄與的贊成理由$ r^+(^*a):=\{^*s|Cr(^*s,^*a){\rm~is~true})\}
寄與的反對理由$ r^-(^*a):=\{^*s|Cr(^*s,\neg^*a){\rm~is~true})\}
比較衡量知識$ >
凌駕 (outweight) により或る事態$ sが成立すると結論する文
$ \forall^*s(((r^+(^*s)>r^-(^*s))\land\neg\exist^*x(Dr(^*x,^*\neg s)))\to 成立(^*s)).
$ \forall^*s(((r^-(^*s)>r^+(^*s))\land\neg\exist^*x(Dr(^*x,^*s)))\to 成立(\neg^*s)).